Понятия со словосочетанием «в теории»
Задача выполнимости формул в теориях (англ. satisfiability modulo theories, SMT) — это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT-формул являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п.
Постмодернизм в теории международных отношений представляет собой оформившийся в 1980-е гг. комплекс теоретических подходов к исследованию явлений международной жизни, в основе которого лежат идеи европейских философов-постструктуралистов 20 века (Мишель Фуко, Жак Деррида, Франсуа Лиотар, Жан Бодрийяр). Существует два подхода к пониманию постмодернизма как теории международных отношений. В узком смысле постмодернизм анализируют дискурс эпохи модерна, критикует идеалы Просвещения и выявляет последствия...
Теория чисел — это раздел математики, занимающийся преимущественно изучением натуральных и целых чисел и их свойств, часто с привлечением методов математического анализа и других разделов математики. Теория чисел содержит множество проблем, попытки решения которых предпринимались математиками в течение десятков, а иногда даже сотен лет, но которые пока так и остаются открытыми. Ниже приведены некоторые из наиболее известных нерешённых проблем.
Связанные понятия
Интерполяция линейных операторов — направление функционального анализа. рассматривающее банаховы пространства как элементы некоторой категории. Общая теория интерполяции линейных операторов была разработана, начиная с 1958 года, в работах С. Г. Крейна, Ж.-Л. Лионса, Ж. Петре. Имеет многочисленные приложения в теории рядов Фурье, в теории приближений, в теории уравнений в частных производных.
Конформная теория поля это квантовая теория поля, которая является инвариантной относительно конформных преобразований. При размерности пространства равном двум может быть решена в точности.
Классическая теория поля — физическая теория о взаимодействии полей и материи, не затрагивающая квантовых явлений. Обычно различают релятивистскую и нерелятивистскую теорию поля.
Метод обобщений (математика) — метод математического творчества, в котором в процессе формирования математического понятия более широкого объёма отбрасываются все второстепенные данные и акцентируется внимание на основных фактах. Этот метод...
Функциональный анализ — раздел анализа, в котором изучаются бесконечномерные топологические векторные пространства и их отображения.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Геометрическое квантование — метод квантования классических теорий и моделей физических систем, при котором построение квантовых аналогов происходит исходя из геометрии пространств состояний (фазовых пространств) соответствующих классических объектов. Геометрическое квантование возникло из стремления распространить методы квантования простых механических систем на более общие системы и фазовые пространства, а также достижения в теории унитарных представлений. В основе геометрического квантования...
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Многомерный комплексный анализ — раздел математики, изучающий голоморфные функции нескольких комплексных переменных, определенные в многомерном комплексном пространстве, голоморфные отображения и подмногообразия комплексного пространства. Начало систематическому изучению многомерных комплексных функций было положено К. Вейерштрассом и А. Пуанкаре в конце XIX века. А. Пуанкаре распространил на функции нескольких переменных основную теорему Коши и заложил основы многомерной теории вычетов. Методы многомерного...
Ве́кторное исчисле́ние — раздел математики, в котором изучаются свойства операций над векторами. В связи с разнообразием особенностей векторов, зависящих от пространства, в котором они исследуются, векторное исчисление подразделяется на...
Математи́ческая фи́зика — теория математических моделей физических явлений. Она относится к математическим наукам; критерий истины в ней — математическое доказательство. Однако, в отличие от чисто математических наук, в математической физике исследуются физические задачи на математическом уровне, а результаты представляются в виде теорем, графиков, таблиц и т. д. и получают физическую интерпретацию. При таком широком понимании математической физики к ней следует относить и такие разделы механики...
Супергравита́ция (от супер… и лат. gravitas — тяжесть) — обобщение общей теории относительности (ОТО) на основе суперсимметрии; или часто: многомерная супергравитация — название физических теорий, включающих дополнительные измерения, суперсимметрию и гравитацию.
Прикладна́я матема́тика — область математики, рассматривающая применение математических методов, алгоритмов в других областях науки и техники. Примерами такого применения будут: численные методы, математическая физика, линейное программирование, оптимизация и исследование операций, моделирование сплошных сред (Механика сплошных сред), биоматематика и биоинформатика, теория информации, теория игр, теория вероятностей и статистика, финансовая математика и актуарные расчёты, криптография, а следовательно...
Симме́три́я в широком смысле — соответствие, неизменность (инвариантность), проявляемые при каких-либо изменениях, преобразованиях (например: положения, энергии, информации, другого).
Анализ как современный раздел математики — значительная часть математики, исторически выросшая из классического математического анализа, и охватывающая, кроме дифференциального и интегрального исчислений, входящих в классическую часть, такие разделы, как теории функций вещественной и комплексной переменной, теории дифференциальных и интегральных уравнений, вариационное исчисление, гармонический анализ, функциональный анализ, теорию динамических систем и эргодическую теорию, глобальный анализ. Нестандартный...
Квантовая информатика — раздел науки, возникший в конце XX века на стыке квантовой механики, теории алгоритмов и теории информации. В квантовой информатике изучаются общие принципы и законы, управляющие динамикой сложных квантовых систем. Моделью таких систем является квантовый компьютер.
Минимакс — правило принятия решений, используемое в теории игр, теории принятия решений, исследовании операций, статистике и философии для минимизации возможных потерь из тех, которые лицу, принимающему решение, нельзя предотвратить при развитии событий по наихудшему для него сценарию.
Тео́рия всего́ — гипотетическая объединённая физико-математическая теория, описывающая все известные фундаментальные взаимодействия. Первоначально данный термин использовался в ироническом ключе для обозначения разнообразных обобщённых теорий. Со временем термин закрепился в популяризациях квантовой физики для обозначения теории, которая объединила бы все четыре фундаментальных взаимодействий в природе. В современной научной литературе вместо термина «теория всего» как правило используется термин...
В физике квантова́ние — построение квантового варианта некоторой неквантовой (классической) теории или физической модели в соответствии с аксиомами квантовой физики.
Инвариантная мера — в теории динамических систем мера, определённая в фазовом пространстве, связанная с динамической системой и не изменяющаяся с течением времени при эволюции состояния динамической системы в фазовом пространстве. Понятие инвариантной меры применяется при усреднении уравнений движения, в теории показателей Ляпунова, в теории метрической энтропии и вероятностных фрактальных размерностей.
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Теория интегрируемых систем — раздел математической физики, изучающий недиссипативные решения дифференциальных уравнений, в том числе уравнений в частных производных. Такие системы имеют соответствующие высшие симметрии.
Квантовая информация — основной предмет изучения квантовой информатики — раздела науки на стыке квантовой механики и теории информации, включающей вопросы квантовых вычислений и квантовых алгоритмов, квантовых компьютеров и квантовой телепортации, квантовой криптографии и проблемы декогерентности.
Теории скрытых параметров — в квантовой механике теории, предложенные для решения проблемы квантовомеханического измерения путём ввода гипотетических внутренних параметров, присущих измеряемым системам (например, частицам). Значения таких параметров не могут быть измерены экспериментально (в частности, они не влияют на собственные значения энергии системы), но определяют результат измерения других параметров системы, описываемых в квантовой механике волновыми функциями и/или векторами состояния...
Вторичное дифференциа́льное исчисле́ние — раздел современной математики, который расширяет классическое дифференциальное исчисление на многообразиях до пространства решений нелинейных дифференциальных уравнений в частных производных. Заслуга открытия вторичного дифференциального исчисления принадлежит профессору Александру Михайловичу Виноградову.
Физи́ческий зако́н — эмпирически установленная и выраженная в строгой словесной и/или математической формулировке устойчивая, повторяющаяся во множестве опытов, связь между физическими величинами в повторяющихся явлениях, процессах и состояниях тел и других материальных объектов в окружающем мире.
Теория функций вещественной переменной (или теория функций действительного переменного) — раздел анализа, нацеленный на углублённое изучение двух понятий «классического» математического анализа: производной и интеграла.
Ква́нтовая гравита́ция — направление исследований в теоретической физике, целью которого является квантовое описание гравитационного взаимодействия (и, в случае успеха, — объединение таким образом гравитации с остальными тремя фундаментальными взаимодействиями, то есть построение так называемой «теории всего»).
Нелинейное управление — подраздел теории управления, изучающий процессы управления в нелинейных системах. Поведение нелинейных систем не может быть описано линейными функциями состояния или линейными дифференциальными уравнениями.
Теория волны-пилота использует тот же математический формализм, что и другие интерпретации квантовой механики, и, следовательно, она подтверждается текущими экспериментальными доказательствами в той же степени, как и другие интерпретации.
Открытая система в квантовой механике — квантовая система, которая может обмениваться энергией и веществом с внешней средой. В определенном смысле всякая квантовая система может рассматриваться как открытая система, поскольку измерение любой динамической величины (наблюдаемой) связано с конечным необратимым изменением квантового состояния системы. Поэтому в отличие от классической механики, в которой измерения не играют существенной роли, теория открытых квантовых систем должна включать в себя теорию...
Теории Нордстрёма — одна из первых попыток создать релятивистскую теорию тяготения. Гуннар Нордстрём создал две такие теории, которые в настоящее время имеют лишь исторический интерес.
Статистическая теория поля — раздел статистической физики, в котором изучаются пространственные случайные системы с взаимодействием. Объектами изучения в статистической теории поля являются поля или системы, число степеней свободы которых сравнимо с полем. Для равновесных состояний микросостояния системы выражены через полевые конфигурации. В рамках этого раздела изучаются статистические системы случайных полей. Это область тесно связана с квантовой теорией поля, которая описывает квантовую динамику...
Меха́ника (греч. μηχανική — искусство построения машин) — раздел физики, наука, изучающая движение материальных тел и взаимодействие между ними; при этом движением в механике называют изменение во времени взаимного положения тел или их частей в пространстве.
Феноменологическая теория — формулировка закономерностей, определяющих взаимосвязь между различными наблюдениями явлений (феноменов) в соответствии с фундаментальной теорией, но непосредственно из этой теории не следующих.
Принцип дополнительности — один из важнейших методологических и эвристических принципов науки, а также один из важнейших принципов квантовой механики, сформулированный в 1927 году Нильсом Бором. Согласно этому принципу, для полного описания квантовомеханических явлений необходимо применять два взаимоисключающих («дополнительных») набора классических понятий, совокупность которых даёт исчерпывающую информацию об этих явлениях как о целостных. Например, дополнительными в квантовой механике являются...
Релятиви́стская тео́рия гравита́ции (РТГ) — биметрическая теория гравитации, развиваемая в рамках специальной теории относительности (в авторской интерпретации) и основанная на представлении гравитационного поля как симметричного тензорного физического поля валентности 2 в пространстве Минковского. Оно формирует метрику эффективного риманова пространства, которое только и чувствуют прочие поля и частицы. В последних версиях утверждается, что теория содержит массивные гравитоны. Разрабатывалась академиком...
Меха́ника сплошны́х сред — раздел механики, физики сплошных сред и физики конденсированного состояния, посвящённый движению газообразных, жидких и деформируемых твёрдых тел, а также силовым взаимодействиям в таких телах.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Зако́н сохране́ния эне́ргии — фундаментальный закон природы, установленный эмпирически и заключающийся в том, что для изолированной физической системы может быть введена скалярная физическая величина, являющаяся функцией параметров системы и называемая энергией, которая сохраняется с течением времени. Поскольку закон сохранения энергии относится не к конкретным величинам и явлениям, а отражает общую, применимую везде и всегда закономерность, его можно именовать не законом, а принципом сохранения...
Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
Дискре́тная матема́тика — часть математики, изучающая дискретные математические структуры, такие, как графы и утверждения в логике.
Математи́ческая гипо́теза в физике — форма научной гипотезы, один из методов познания, широко используемый в теоретической физике, заключающийся в распространении на новую, неисследованную область известных математически выраженных законов из какой-либо из смежных областей в видоизменённой форме.